<?php

echo array(), "\n";
